Department of Science

Computer Science Department

Internal Evaluation of Basic Science Department in Sabzevar University of Medical Sciences in 2010

Background: The increased concern for accountability and quality improvement is inducing universities throughout the world to evaluate and control performance. Hence, this study was conducted to assess basic science department of Sabzevar medical school to improve the quality of the department. Methods: This study is a descriptive cross sectional study. We asked faculty members, managers, inte...

Department of Computer Science , University of Otago

We characterise those classes of permutations having the property that for every tableau shape either every permutation of that shape or no permutation of that shape belongs to the class. The characterisation is in terms of the dominance order for partitions (and their conjugates) and shows that for any such class there is a constant k such that no permutation in the class can contain both an i...

Department of Computer Science , University of Otago

Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after arbitrary announcements. Intuitively, [!]φ expresses that φ is true after an arbitrary announcem...

History of Science Department University of Aarhus